Turkish glacier inventory and classification from high-resolution satellite data

In view of the rapid and accelerating glacier retreat observed worldwide, the creation of an updated glacier inventory is fundamental to understand the glacier changes. Here we present the Turkish glacier inventory based on recent high-resolution satellite images (Pleiades, Google Earth\u2122 and SPOT images). Outlines are manually digitized in ArcMap software. We identified 51 glaciers covering 12.29 km2: more than 60% of the Turkish glacierized area is located on Mount Ararat where the ice cap and four small outlet glaciers cover 7.37 km2. Turkish glaciation is characterized by small glaciers or glacierets partly debris-covered: only three glaciers (Erin\ue7, Izb\u131rak and Ararat glaciers) are larger than 0.5 km2. To assess the evolution of glaciers, we have focused on Mount Ararat where we digitized outlines for 1990, 1994, 2000 and 2016: in 26 years considered the glacier shows a retreat of 2.99 km2, 12 29% of the initial value, showing a reduction rate dramatically higher than the main glacierized mountain ranges of the world

Concurrent Segmentation and Localization for Tracking of Surgical Instruments

Real-time instrument tracking is a crucial requirement for various computer-assisted interventions. In order to overcome problems such as specular reflections and motion blur, we propose a novel method that takes advantage of the interdependency between localization and segmentation of the surgical tool. In particular, we reformulate the 2D instrument pose estimation as heatmap regression and thereby enable a concurrent, robust and near real-time regression of both tasks via deep learning. As demonstrated by our experimental results, this modeling leads to a significantly improved performance than directly regressing the tool position and allows our method to outperform the state of the art on a Retinal Microsurgery benchmark and the MICCAI EndoVis Challenge 2015.Comment: I. Laina and N. Rieke contributed equally to this work. Accepted to MICCAI 201

Design of a novel THz sensor for structural health monitoring applications

In this paper, we propose a study on the characterization, design and simulation of a THz sensor for applications in Structural Health Monitoring (SHM). The proposed sensor is assembled using two frequency selective surfaces (FSSs) based on metamaterial wire resonators. We present a theoretical model to describe its electromagnetics which is used not only to understand the physical principles underlying the functioning of the sensor but also to determine a set of optimized parameters for its operation in the THz window from 395 GHz to 455 GHz. We present our numerical simulations, involving both electromagnetic and mechanical simulation techniques, to determine the reflectance profile of the sensor as a function of applied force. In this study we considered the possibility of using two thermoplastic polymers as host materials: High-Density PolyEthylene (HDPE) and PolyTetraFluoroEthylene (PTFE). The two sensors have a good dynamic range and comparable characteristics. However, we found that with HDPE it is possible to construct a sensor with a more linear response, although not as sensitive as in the case of PTFE. With HDPE we are able to pass from a situation of full transparency to almost full opacity using only its linear operating zone.info:eu-repo/semantics/acceptedVersio

Overcoming controllability problems in distributed testing from an input output transition system

This is the Pre-print version of the Article. The official published version can be accessed from the link below - Copyright @ 2012 Springer VerlagThis paper concerns the testing of a system with physically distributed interfaces, called ports, at which it interacts with its environment. We place a tester at each port and the tester at port p observes events at p only. This can lead to controllability problems, where the observations made by the tester at a port p are not sufficient for it to be able to know when to send an input. It is known that there are test objectives, such as executing a particular transition, that cannot be achieved if we restrict attention to test cases that have no controllability problems. This has led to interest in schemes where the testers at the individual ports send coordination messages to one another through an external communications network in order to overcome controllability problems. However, such approaches have largely been studied in the context of testing from a deterministic finite state machine. This paper investigates the use of coordination messages to overcome controllability problems when testing from an input output transition system and gives an algorithm for introducing sufficient messages. It also proves that the problem of minimising the number of coordination messages used is NP-hard

Generating Dashboards Using Fine-Grained Components: A Case Study for a PhD Programme

Developing dashboards is a complex domain, especially when several stakeholders are involved; while some users could demand certain indicators, other users could demand specific visualizations or design features. Creating individual dashboards for each potential need would consume several resources and time, being an unfeasible approach. Also, user requirements must be thoroughly analyzed to understand their goals regarding the data to be explored, and other characteristics that could affect their user experience. All these necessities ask for a paradigm to foster reusability not only at development level but also at knowledge level. Some methodologies, like the Software Product Line paradigm, leverage domain knowledge and apply it to create a series of assets that can be composed, parameterized, or combined to obtain fully functional systems. This work presents an application of the SPL paradigm to the domain of information dashboards, with the goal of reducing their development time and increasing their effectiveness and user experience. Different dashboard configurations have been suggested to test the proposed approach in the context of the Education in the Knowledge Society PhD programme of the University of Salamanca

Evaluation of YBa₂Cu₃O₇₋ₓ Bulk Superconductors for High Field Magnet Applications

Processing of YBCO single crystals was carried out by solidification of semi-liquid YBCO composition using a seeding technique. Microstructural characterization of the pinning centers was investigated by transmission electron microscopy. Characterization of single crystals was carried out, relating grain size and shape to the corresponding flux profiles. Current densities were calculated based on measured trapped fields. Once circulating currents were established, flux pumping and quenching experiments were conducted. These large single crystals will be incorporated into electromagnetic forming devices for use in the military and commercial aircraft manufacturing and service industries

Thermal Degradation of Adsorbed Bottle-Brush Macromolecules: Molecular Dynamics Simulation

The scission kinetics of bottle-brush molecules in solution and on an adhesive substrate is modeled by means of Molecular Dynamics simulation with Langevin thermostat. Our macromolecules comprise a long flexible polymer backbone with $L$ segments, consisting of breakable bonds, along with two side chains of length $N$, tethered to each segment of the backbone. In agreement with recent experiments and theoretical predictions, we find that bond cleavage is significantly enhanced on a strongly attractive substrate even though the chemical nature of the bonds remains thereby unchanged. We find that the mean bond life time decreases upon adsorption by more than an order of magnitude even for brush molecules with comparatively short side chains $N=1 \div 4$. The distribution of scission probability along the bonds of the backbone is found to be rather sensitive regarding the interplay between length and grafting density of side chains. The life time declines with growing contour length $L$ as $\propto L^{-0.17}$, and with side chain length as $\propto N^{-0.53}$. The probability distribution of fragment lengths at different times agrees well with experimental observations. The variation of the mean length $L(t)$ of the fragments with elapsed time confirms the notion of the thermal degradation process as a first order reaction.Comment: 15 pages, 7 figure

Brownian Carnot engine

The Carnot cycle imposes a fundamental upper limit to the efficiency of a macroscopic motor operating between two thermal baths. However, this bound needs to be reinterpreted at microscopic scales, where molecular bio-motors and some artificial micro-engines operate. As described by stochastic thermodynamics, energy transfers in microscopic systems are random and thermal fluctuations induce transient decreases of entropy, allowing for possible violations of the Carnot limit. Despite its potential relevance for the development of a thermodynamics of small systems, an experimental study of microscopic Carnot engines is still lacking. Here we report on an experimental realization of a Carnot engine with a single optically trapped Brownian particle as working substance. We present an exhaustive study of the energetics of the engine and analyze the fluctuations of the finite-time efficiency, showing that the Carnot bound can be surpassed for a small number of non-equilibrium cycles. As its macroscopic counterpart, the energetics of our Carnot device exhibits basic properties that one would expect to observe in any microscopic energy transducer operating with baths at different temperatures. Our results characterize the sources of irreversibility in the engine and the statistical properties of the efficiency -an insight that could inspire novel strategies in the design of efficient nano-motors.Comment: 7 pages, 7 figure

Structure of nanoparticles embedded in micellar polycrystals

We investigate by scattering techniques the structure of water-based soft composite materials comprising a crystal made of Pluronic block-copolymer micelles arranged in a face-centered cubic lattice and a small amount (at most 2% by volume) of silica nanoparticles, of size comparable to that of the micelles. The copolymer is thermosensitive: it is hydrophilic and fully dissolved in water at low temperature (T ~ 0{\deg}C), and self-assembles into micelles at room temperature, where the block-copolymer is amphiphilic. We use contrast matching small-angle neuron scattering experiments to probe independently the structure of the nanoparticles and that of the polymer. We find that the nanoparticles do not perturb the crystalline order. In addition, a structure peak is measured for the silica nanoparticles dispersed in the polycrystalline samples. This implies that the samples are spatially heterogeneous and comprise, without macroscopic phase separation, silica-poor and silica-rich regions. We show that the nanoparticle concentration in the silica-rich regions is about tenfold the average concentration. These regions are grain boundaries between crystallites, where nanoparticles concentrate, as shown by static light scattering and by light microscopy imaging of the samples. We show that the temperature rate at which the sample is prepared strongly influence the segregation of the nanoparticles in the grain-boundaries.Comment: accepted for publication in Langmui